A graph-semantics of business configurations

In this paper we give graph-semantics to a fundamental part of the semantics of the service modeling language SRML. To achieve this goal we develop a new graph transformation system for what we call 2-level symbolic graphs. These kind of graphs extend symbolic graphs with a simple 2-level hierarchy that can be generalized to arbitrary hierarchies. We formalize the semantics using this new graph transformation system using a simple example of a trip booking agent.Postprint (published version

Numerical investigation through Finite Elements of Neuber’s and Molski-Glinka’s rules for calculation of elastoplastic stress and strain in notched elements

An investigation on elastoplastic stress and strain produced at notched pieces with different geometries and material properties using Finite Elements and numerical computation software. Application of Neuber’s and Molski-Glinka’s rules directed to obtaining real stress and strain at notches from data obtained with Finite Elements models. This project sets the basis for future research on the same topic, aiming to use a similar process to obtain results in a wider variety of geometries and materials.Universidad de Sevilla. Grado en Ingeniería de las Tecnologías Industriale